Add additional padding to the view specific workspace controls

In the latest mockup, there is more spacing around the scroll bar than
between the other controls.

https://bugzilla.gnome.org/show_bug.cgi?id=610189

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index bf18b05331f11bc4cc0832207243a573b893f4ed..b2c816f4c95a7d8f19ed0e9358e07135fa910fa5 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -206,6 +206,10 @@ StTooltip {
     -shell-close-overlap: 16px;
 }
 
+.single-view-controls {
+    padding: 0px 15px;
+}
+
 .workspace-controls {
     width: 24px;
     height: 16px;

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 450e36c334424d86c3b5b0c913a0473d3a95b8f9..e129a76d01b35ff4886395feda29012de0dea0a4 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -744,7 +744,9 @@ SingleView.prototype = {
     },
 
     createControllerBar: function() {
-        let panel = new St.BoxLayout({ 'pack-start': true, vertical: true });
+        let panel = new St.BoxLayout({ style_class: 'single-view-controls',
+                                       pack_start: true,
+                                       vertical: true });
 
         let actor = new St.BoxLayout({ 'pack-start': true });
         let active = global.screen.get_active_workspace_index();